循环不变形状图的自动推断

在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点.文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑.然后在此基础之上,设计了一种基于形状图逻辑的形状分析方法,并提出了一种基于形状图逻辑的循环不变形状图的推断方法.     

基于802.11p/WAVE的车联网连通性模型及其应用研究

首先对高速公路交通场景的车联网连通性模型进行了研究,分析推导了某特定路段上任意两车之间的连通概率、连通集直径长度以及连通集数目等连通性模型参数指标与车辆密度及传输距离之间关系的数学解析式,并在此基础上分析出车联网的节点位置是满足伽马分布的结论。接着根据车联网报文存储转发的特点,设计了一种车联网的报文格式,并应用连通性模型中的相关参数解析式给出了广播消息报文的TTL字段的初始值设定方案,从而能够有效地控制广播报文的泛滥情形,仿真实验证实了所建模工作的有效性,为车联网WAVE协议栈上层协议的设计提供了重要的理论基础。     

基料树脂对超薄型钢结构防火涂料性能的影响

分析了不同基料树脂对超薄型钢结构防火涂料性能如发泡能力、涂层的质量损失百分比、发泡层的硬度和致密性的影响,介绍了不同基料树脂的优缺点,指出选择合适的成膜物质,对提高超薄型钢结构防火涂料的性能是至关重要的环节。     

富有机硒葡萄的开发试验初报

本文探讨了葡萄对硒的吸收和积累特性,阐述了富有机硒葡萄的生产方法.研究测定了葡萄不同部位的总硒及有机硒含量.结果表明:葡萄杲肉总硒、有机硒含量较不施硒肥均有明显增加.此外,本文对富硒葡萄的开发背景及应用前景进行了概述.     

高四方性超细 BaTiO 3 纳米粉体的制备与性能研究

高四方性的 BaTiO 3 超细粉体是下一代多层陶瓷电容器的关键材料。该文探究了砂磨介质尺寸和原料 TiO 2 晶相对反应物活性、产物介电性能的影响，并利用砂磨固相法成功合成了高四方性 BaTiO 3超细粉体。分析场发射扫描电子显微镜照片和 X 射线光电子能谱发现，细砂磨介质粉碎原料的效率更高，机械活化作用更强。Raman 光谱和 X 射线衍射图谱显示，在高能砂磨过程中，TiO 2 由锐钛矿相先后转变为 TiO 2 -II 相、金红石相。分析微商热重曲线和 X 射线衍射，结果表明，砂磨介质更能有效降低反应温度和抑制 Ba 2 TiO 4 的生成。此外，高分辨透射电子显微镜图像揭示了 BaTiO 3 的形成是 Ba 2＋向 TiO 2 晶格扩散的过程。该文相关实验结果表明，利用直径为 0.1 mm 的 ZrO 2 磨球对锐钛矿相 TiO 2 和 BaCO 3 混合物砂磨 4 h，并在 1 100 ℃ 煅烧 3 h 后，获得了平均粒径为 186 nm、四方性为 1.009 2且分散性良好的 BaTiO 3 粉体，该粉体在 1 250 ℃ 烧结的陶瓷相对密度为 96.11%，居里点(137.8 ℃)的介电常数峰值为 8 677。     

基于面向对象技术的编译原理课程建设

面向对象编程语言和技术日益流行,已经成为最重要的编程框架,这一趋势对编译原理课程建设和教学改革实践提出新的挑战。文章根据最新研究趋势和教学需求,对编译原理课程改革和建设进行探讨,以中国科学技术大学软件学院为例,阐述在高等院校计算机相关专业中进行教学改革的实践,为课程改革建设提供新思路。     

基于格的大数据动态存储完整性验证方案

文章提出了一种基于格的大数据动态存储完整性验证方案,方案基于量子计算机也难以破解的格上困难问题,具有较高的安全性,采用了Merkle哈希树技术,支持数据动态变化,并且运行效率也很高。最后文章论证了方案的正确性和安全性,该方案能够广泛的应用到与大数据动态完整性验证相关的场景中。     

一个自然语言水印嵌入安全性评估方案

随着互联网的发展,获得未授权的数字媒体变得比以往容易。自然语言水印是一种为自然语言文档特别设计的数字版权管理技术。它将水印嵌入到文档中,但不改变文档的含义。虽然已经有不少精心设计的自然语言水印算法,但是对它们的嵌入质量和安全性只有简单的说明。本文中,我们提出了一个自然语言水印嵌入安全性的评估方案,定义了理想不可检测性,并提出了构造针对特定检测器的不可检测性的交互证明系统。本文也对一些实际系统按此方案作了评价。     

退火对热老化308L不锈钢焊材显微结构的影响

对410℃下热老化7000 h的308L不锈钢焊材进行了550℃、1 h的退火处理,利用TEM和三维原子探针研究了退火对热老化焊材显微结构的影响,并与未热老化试样进行比较,评价退火回复效果。结果表明,退火后奥氏体无明显变化,而δ铁素体内由热老化导致的调幅分解完全消失,且G相显著减少。此外,热老化导致Ni、Mn、C在δ铁素体/奥氏体相界处发生偏聚,而对相界处Cr、Si、P元素的含量无明显影响。退火后相界处所有元素均无偏聚,但会导致Ni、Mn在靠近相界的奥氏体一侧发生富集。退火后308L不锈钢焊材的显微结构接近于未热老化状态,表明退火回复效果显著。